Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
21	ExCAPE Annual Report of Activities April 2014 to MarchOverview Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2016-01-31 09:37:33 Theoretical computer science Electronic engineering Digital electronics Music Electronic design automation Formal verification Logic in computer science High-level synthesis Robotics Domain-specific language Finite-state machine Model checking
22	Publications (as of February 9, 2016) Books 1. G. De Micheli, A. Sangiovanni-Vincentelli and P. Antognetti, Editors, Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation, Martinus Nijhoff, D Add to Reading List Source URL: si2.epfl.ch Language: English - Date: 2016-02-09 07:37:49
23	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
24	DecisionDiagrams and PassTransistor Logic Synthesis V. Bertacco S.Minato P.VerplaetseL. Benini G. De Micheli StanforoUniversity ComputerSystemsLaboratory Stanforo.CA 94305 Add to Reading List Source URL: si2.epfl.ch Language: English - Date: 2005-05-20 05:50:53
25	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form
26	Graph based Synthesis for Low power Combinational logic with a maximal/minimal disjoint Function Set ABSTRACT This paper discusses a new, systematic approach to the synthesis of a class of non-regenerative Boolean networ Add to Reading List Source URL: apt.cs.manchester.ac.uk Language: English - Date: 2014-05-13 09:16:46
27	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-21 13:20:56 Logic programming Constraint programming Logical consequence Statements Theorem Unification Lambda calculus Constraint logic programming Constraint satisfaction
28	Appears in Working Notes of AAAI Symposium on Hybrid Control Stanford; March, 1999 Hard Real-time Mode Logic Synthesis for Hybrid Control A CIRCA-based approach Robert P. Goldman, Mike Pelican, David J. Musliner Add to Reading List Source URL: musliner.com Language: English - Date: 2008-12-19 05:47:53
29	IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-02-11 12:51:44 Automated theorem proving Logic Mathematics Mathematical logic Rippling Theorem Mathematical proof Isabelle Proof assistant
30	Call for papers 22nd International Symposium on Logic-Based Program Synthesis and Transformation http://costa.ls.fi.upm.es/lopstr12/ 18–20 September, 2012, Leuven, Belgium (co-located with PPDP 2012) Add to Reading List Source URL: costa.ls.fi.upm.es Language: English - Date: 2011-12-14 00:30:08